首页> 外文OA文献 >Processor Verification with Precise Exceptions and Speculative Execution

【2h】

Processor Verification with Precise Exceptions and Speculative Execution

机译：具有精确异常和推测执行的处理器验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Jun Sawada; Warren A. Hunt; Jr.;
展开▼
作者单位

展开▼
年度 1998
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. iGPU: Exception Support and Speculative Execution on GPUs [J] . Jaikrishnan Menon, Marc de Kruijf, Karthikeyan Sankaralingam Computer architecture news . 2012,第3期

机译：iGPU：GPU上的异常支持和推测执行
2. New hardware scheme supporting precise exception handling for out-of-order execution [J] . Hwang G.C., Kyung C.M. Electronics Letters . 1994,第1期

机译：新的硬件方案支持无序执行的精确异常处理
3. Formal verification of compiler transformations for speculative real-time execution [J] . M. F. Younis, G. Tsai, T. J. Marlowe, Automatica . 1998,第8期

机译：正式验证编译器转换以进行推测性实时执行
4. Processor verification with precise exceptions and speculative execution [C] . J.Sawada, W.A.Hunt International conference on computer aided verification . 1998

机译：处理器验证具有精确的例外和推测执行
5. Support for speculative execution in high-performance processors [D] . Smith, Michael David. 1993

机译：支持高性能处理器中的投机执行
6. Statement complementing the EFSA Scientific Opinion on application (EFSA‐GMO‐NL‐2009‐75) for placing on the market of genetically modified oilseed rape Ms8 × Rf3 × GT73 and subcombinations which have not been authorised previously (i.e. Ms8 × GT73 and Rf3 × GT73) independently of their origin for food and feed uses import and processing with the exception of isolated seed protein for food under Regulation (EC) No 1829/2003) taking into consideration additional information [O] . Hanspeter Naegeli, Jean‐Louis Bresson, Tamas Dalmay, 2020

机译：关于申请的EFSA科学意见（EFSA-GMO-NL-2009-75）用于放置基因修改的油菜MS8×RF3×GT73和小组中未授权的基因修改的油菜MS8×RF3×GT73和子组合（即MS8×GT73和RF3） ×gt73）独立于它们的起源用于食品和饲料用途进口和加工除了孤立的种子蛋白外在规则（EC）No 1829/2003）考虑到额外信息
7. An out-of-order superscalar processor with speculative execution and fast, precise interrupts [O] . Harry Dwyer 1992

机译：一种无序的超标量处理器，具有推测执行和快速，精确的中断

Processor Verification with Precise Exceptions and Speculative Execution

著录项

引文网络

相似文献

相关主题

期刊订阅